Next Steps for OWL
نویسندگان
چکیده
OWL 1.1 is a simple extension of the OWL DL species of the W3C OWLWeb Ontology Language. OWL 1.1 has been designed to provide some interesting and useful expressive additions to OWL DL while retaining the desirable characteristics of OWL DL, including decidability and implementability.
منابع مشابه
Next Steps for Elevating Health on Trade and Investment Policy Agendas; Comment on “How Neoliberalism Is Shaping the Supply of Unhealthy Commodities and What This Means for NCD Prevention”
Despite intergovernmental calls for greater policy coherence to tackle rising non-communicable diseases (NCDs), there has been a striking lack of coherence internationally and nationally between trade and health sectors. In this commentary, I explore the arguments by Lenucha and Thow in relation to barriers for greater coherence for NCDs, apply them to regional trade ag...
متن کاملOWL 2: The next step for OWL
Since achieving W3C recommendation status in 2004, the Web Ontology Language (OWL) has been successfully applied to many problems in computer science. Practical experience with OWL has been quite positive in general; however, it has also revealed room for improvement in several areas. We systematically analyze the identified shortcomings of OWL, such as expressivity issues, problems with its sy...
متن کاملThe Consistency of OWL Full (with proofs)
We show that OWL1 Full without the comprehension principles is consistent, and does not break most RDF graphs that do not use the OWL vocabulary. We discuss the role of the comprehension principles in OWL semantics, and how to maintain the relationship between OWL Full and OWL DL by reinterpreting the comprehension principles as permitted steps when checking an entailment, rather than as model ...
متن کاملThe Consistency of OWL Full
We show that OWL1 Full without the comprehension principles is consistent, and does not break most RDF graphs that do not use the OWL vocabulary. We discuss the role of the comprehension principles in OWL semantics, and how to maintain the relationship between OWL Full and OWL DL by reinterpreting the comprehension principles as permitted steps when checking an entailment, rather than as model ...
متن کاملEpistemic Querying of OWL Knowledge Bases
Epistemic querying extends standard ontology inferencing by allowing for deductive introspection. We propose a technique for epistemic querying of OWL 2 ontologies not featuring nominals and universal roles by a reduction to a series of standard OWL 2 reasoning steps thereby enabling the deployment of off-the-shelf OWL 2 reasoning tools for this task. We prove formal correctness of our method, ...
متن کامل